$\forall$$g$:Mon, $a$, $b$:$\mid$$g$$\mid$. Dec($a$ = $b$)